package classesBasicas;

public class Operations {
	
	/* TERMINAR */
	public static AFD unionAFD(AFD m1, AFD m2){
		return m1;
	}
	
	/* TERMINAR */
	public static Automato union(Automato m1, Automato m2){
		return m1;
	}
	
	/* TERMINAR */
	public static AFD intersectionAFD(AFD m1, AFD m2){
		return m2;
	}
	
	/* TERMINAR */
	public static Automato concat(Automato m1, Automato m2){
		return m2;
	}
	
	/* TERMINAR */
	public static Automato estrela(Automato m1, Automato m2){
		return m1;
	}
	
	/* TERMINAR */
	public static Automato gerarAFN(String expression){
		return new AFD(); // Mudar para AFN
	}
	
	/* MODIFICAR AFD DE ENTRADA PARA AFN E TERMINAR */
	public static AFD converterAFNAFD(AFD m){
		return m;
	}
	
	/* TERMINAR */
	public static String gerarER(Automato m){
		return "";
	}
}
